New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prepare switching default branch from master to main #114

Merged

paleolimbot merged 1 commit into master from updates_for_main

Nov 25, 2022

Member

florisvdh commented Nov 25, 2022

This replaces hardcoded references to master by main, or adds them, where needed. Fixes #113.

When default branch main is ready (renaming of master), base branch of this PR + PR #31 needs to be flipped too.

Alternative is to first merge this in master, then rename default as main in GH.


          Switch default branch from master to main

fc23b9c

florisvdh requested a review from paleolimbot

November 25, 2022 16:59

paleolimbot merged commit 64ff49c into master

florisvdh deleted the updates_for_main branch

November 25, 2022 18:15

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet